Analysing Snapshot Isolation
muratbuffalo.blogspot.com·1d·
Discuss: Hacker News
⚙️systems programming
How the Lean language brings math to coding and coding to math
amazon.science·1d·
Discuss: Hacker News
⚙️systems programming
My blog on zero-knowledge cryptography
kaw101010.github.io·8h·
Discuss: Hacker News
⚙️systems programming
Vibe coding to Chomksy: will linguistics pop off in a world full of prompting?
aymannadeem.com·16h·
Discuss: Hacker News
🔄compilers
Thinking in Hoses and Wires, Not Bolted Gears (Protocol-Driven Development)
github.com·18h·
Discuss: Hacker News
⚙️systems programming
Scaling Correctness: Marc Brooker on a Decade of Formal Methods at AWS
podcasts.apple.com·18h·
Discuss: Lobsters, Hacker News
⚙️systems programming
We went from unauthenticated to arbitrary RCE in CyberArk Conjur
cyata.ai·2h·
Discuss: Hacker News
⚙️systems programming
Three challenges in machine-based reasoning
amazon.science·1d·
Discuss: Hacker News
🔄compilers
A New Concurrent ML in Guile Scheme
wingolog.org·2d·
Discuss: Hacker News
⚙️systems programming
Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.com·3d·
Discuss: Hacker News
🐫ocaml
Good context leads to good code: How we built an AI-Native Eng Culture
blog.stockapp.com·15h·
Discuss: Hacker News
⚙️systems programming
libsemigroups: C++ library for semigroups and monoids
github.com·2d·
Discuss: Hacker News, r/cpp
🐫ocaml
We Built an MCP Server and These Are the Gotchas Nobody Talks About
cloudquery.io·1d·
Discuss: Hacker News
🗄️databases
The Amaranth hardware description language
amaranth-lang.org·1d·
Discuss: Hacker News
⚙️systems programming
The joy of building a bytecode VM from scratch
vivekn.dev·2h·
Discuss: Hacker News
🔄compilers
Moldable Development at Lifeware (micro tools for a 35M LOC system)
lepiter.io·15h·
Discuss: Hacker News
⚙️systems programming
GPT-OSS 120B Writes a Lisp in Go Fast
elite-ai-assisted-coding.dev·15h·
Discuss: Hacker News
🔄compilers
New Method Is the Fastest Way To Find the Best Routes
quantamagazine.org·18h·
Discuss: Lobsters, Hacker News
⚡query optimization
Software books I wish I could read
buttondown.com·20h·
Discuss: Hacker News
⚙️systems programming
Attention was never enough: Tracing the rise of hybrid LLMs
ai21.com·1d·
Discuss: Hacker News
🔄compilers